Exercise logic.propositional.proof.unicode
Description
Prove two propositions equivalent (unicode support)
| Code | logic.propositional.proof.unicode |
| Status | Experimental |
| Strategy | proofequivalent |
| Rules | 58 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 31 |